Model-Theoretic Constructions in Fuzzy Logic with Evaluated Syntax
نویسنده
چکیده
This paper studies the model theory as generalization of classical model theory in predicate fuzzy logic with evaluated syntax (Ev L ). There exist a lot of possibilities how to find the models of fuzzy theories. In this paper we will describe the theoretic constructions of the models in Ev L where these models are built by using elementary extensions and downward Löwenheim-Skolem-Tarski theorem which will be discussed.
منابع مشابه
Constructions of Models in Fuzzy Logic with Evaluated Syntax
This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. It is known that there are many formal systems of fuzzy logic, most of them having traditional syntax and many-valued semantics. Our logic is further generalization, where also syntax is evaluated, i.e. we may consider fuzzy sets of axioms. In the paper we show the possibilities how to construct the ...
متن کاملPreservation theorems in {L}ukasiewicz \model theory
We present some model theoretic results for {L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {L}ukasiewicz $texttt{BL}$-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemizatio...
متن کاملSemantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka’s graded semantics of propositional fuzzy logic, investigate the L-tautologies based on different Kripke frames. We also define the notion of Lsemantical consequence operation, its some basic properties are obtained. Finally, this pape...
متن کاملLandslides susceptibility mapping using fuzzy logic and AHP
Landslide, due to its dangerous nature in mountainous areas, usually causes morphology to suddenly collapse and causes major damage to residential areas, roads, agricultural lands, and so on. In this study, using the AHP model and fuzzy logic operators, we evaluated and zoned the landslide sensitivity in the Pseudogene basin in Razavi Khorasan province. The eight main criteria of elevation, slo...
متن کاملFrom Specialized Syntax to General Logic: The Case of Comparatives
General-purpose reasoning based on knowledge encoded in natural language, requires mapping this knowledge out of its syntax-dependent form into a more general representation that can be more flexibly applied and manipulated. We have created a system that accomplishes this in a variety of cases via mapping English syntactic expressions into predicate and term logic expressions, which can then be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005